Milan Češka: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Designing fast LTL model checking algorithms for many-core GPUs

Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka

Journal:

Journal of Parallel and Distributed Computing

Year:

2012

Language:

english

File:

PDF, 758 KB

english, 2012

2

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.73 MB

english, 2018

3

Erratum to ``Efficient synthesis of robust models for stochastic systems'' [The Journal of Systems & Software 143 (2018) 140–158]

Calinescu, Radu, Češka, Milan, Gerasimou, Simos, Kwiatkowska, Marta, Paoletti, Nicola

Journal:

Journal of Systems and Software

Year:

2018

Language:

english

File:

PDF, 133 KB

english, 2018

4

[IEEE 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - San Diego, CA, USA (2019.4.28-2019.5.1)] 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata

Ceska, Milan, Havlena, Vojtech, Holik, Lukas, Korenek, Jan, Lengal, Ondrej, Matousek, Denis, Matousek, Jiri, Semric, Jakub, Vojnar, Tomas

Year:

2019

File:

PDF, 38 KB

2019

5

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 230 KB

english, 2018

6

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - ProbDiVinE: A Parallel Qualitative LTL Model Checker

Barnat, Jiri, Brim, Lubos, Cema, Ivana, Ceska, Milan, Tumova, Jana

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

7

Robustness Analysis of Stochastic Biochemical Systems

Česka, Milan, Šafránek, David, Dražan, Sven, Brim, Luboš, Fröhlich, Holger

Journal:

Year:

2014

Language:

english

File:

PDF, 3.41 MB

english, 2014

8

[IEEE 2017 IEEE International Conference on Software Architecture (ICSA) - Gothenburg, Sweden (2017.4.3-2017.4.7)] 2017 IEEE International Conference on Software Architecture (ICSA) - Designing Robust Software Systems through Parametric Markov Chain Synthesis

Calinescu, Radu, Ceska, Milan, Gerasimou, Simos, Kwiatkowska, Marta, Paoletti, Nicola

Year:

2017

Language:

english

File:

PDF, 615 KB

english, 2017

9

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Buffering Gene Expression Noise by MicroRNA Based Feedforward Regulation

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.25 MB

english, 2018

10

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Deep Abstractions of Chemical Reaction Networks

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

11

[IEEE 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - San Diego, CA, USA (2019.4.28-2019.5.1)] 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata

Ceska, Milan, Havlena, Vojtech, Holik, Lukas, Korenek, Jan, Lengal, Ondrej, Matousek, Denis, Matousek, Jiri, Semric, Jakub, Vojnar, Tomas

Year:

2019

Language:

english

File:

PDF, 38 KB

english, 2019

12

[Lecture Notes in Computer Science] Hybrid Systems Biology Volume 11705 (6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers) || Reaction Networks, Oscillatory Motifs and Parameter Estimation in Biochemical Systems

Češka, Milan, Paoletti, Nicola

Year:

2019

Language:

english

File:

PDF, 390 KB

english, 2019

13

Precise parameter synthesis for stochastic biochemical systems

Češka, Milan, Dannenberg, Frits, Paoletti, Nicola, Kwiatkowska, Marta, Brim, Luboš

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 2.02 MB

english, 2016

14

Modelling, prototyping, and verifying concurrent and distributed applications using object‐oriented Petri nets

Češka, Milan, Janoušek, Vladimír, Vojnar, Tomáš

Journal:

Year:

2002

Language:

english

File:

PDF, 236 KB

english, 2002

15

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 738 KB

english, 2018

16

Generalised multi-pattern-based verification of programs with linear linked structures

Milan Češka, Pavel Erlebach, Tomáš Vojnar

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 260 KB

english, 2007

17

[ACM Press the 20th International Conference - Pittsburgh, Pennsylvania, USA (2017.04.18-2017.04.20)] Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17 - Reachability Computation for Switching Diffusions

Laurenti, Luca, Abate, Alessandro, Bortolussi, Luca, Cardelli, Luca, Ceska, Milan, Kwiatkowska, Marta

Year:

2017

Language:

english

File:

PDF, 1.02 MB

english, 2017

18

Efficient synthesis of robust models for stochastic systems

Calinescu, Radu, Češka, Milan, Gerasimou, Simos, Kwiatkowska, Marta, Paoletti, Nicola

Journal:

Journal of Systems and Software

Year:

2018

Language:

english

File:

PDF, 5.05 MB

english, 2018

19

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - DiVinE: Parallel Distributed Model Checker

Barnat, Jiri, Brim, Lubos, Ceska, Milan, Rockai, Petr

Year:

2010

Language:

english

File:

PDF, 830 KB

english, 2010

20

Preface

Milan Češka, Zdeněk Kotásek, Mojmír Křetínský, Luděk Matyska, Tomáš Vojnar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 108 KB

english, 2009

21

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.59 MB

english, 2018

22

Pattern-Based Verification of Programs with Extended Linear Linked Data Structures

Milan Češka, Pavel Erlebach, Tomáš Vojnar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 329 KB

english, 2006

23

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Formal Analysis of Network Motifs

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.30 MB

english, 2018

24

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Synthesis for Vesicle Traffic Systems

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 561 KB

english, 2018

25

Approximate reduction of finite automata for high-speed network intrusion detection

Češka, Milan, Havlena, Vojtěch, Holík, Lukáš, Lengál, Ondřej, Vojnar, Tomáš

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 468 KB

english, 2019

26

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) ||

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 24.28 MB

english, 2018

27

[Lecture Notes in Computer Science] Hybrid Systems Biology Volume 11705 (6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers) ||

Češka, Milan, Paoletti, Nicola

Year:

2019

Language:

english

File:

PDF, 14.17 MB

english, 2019

28

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

29

[IEEE 2010 IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS) - Shanghai, China (2010.12.8-2010.12.10)] 2010 IEEE 16th International Conference on Parallel and Distributed Systems - Employing Multiple CUDA Devices to Accelerate LTL Model Checking

Barnat, Jiri, Bauch, Petr, Brim, Lubos, Ceska, Milan

Year:

2010

Language:

english

File:

PDF, 226 KB

english, 2010

30

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 265 KB

english, 2018

31

[IEEE 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Irvine, CA (2017.11.13-2017.11.16)] 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished

Ceska, Milan, Matyas, Jiri, Mrazek, Vojtech, Sekanina, Lukas, Vasicek, Zdenek, Vojnar, Tomas

Year:

2017

Language:

english

File:

PDF, 296 KB

english, 2017

32

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || LNA++: Linear Noise Approximation with First and Second Order Sensitivities

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 302 KB

english, 2018

33

Autosomal dominant temporal lobe epilepsy associated with heterozygous reelin mutation: 3 T brain MRI study with advanced neuroimaging methods

Česká, Katarína, Aulická, Štefánia, Horák, Ondřej, Danhofer, Pavlína, Říha, Pavel, Mareček, Radek, Šenkyřík, Jan, Rektor, Ivan, Brázdil, Milan, Ošlejšková, Hana

Journal:

Epilepsy & Behavior Case Reports

Year:

2019

Language:

english

File:

PDF, 505 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски